 |
0 索取号:TP302/E991 作者:Kozen、 Dexter、 1951-、 出版社:New York : Springer-Verlag, 1992.
|  |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|
 |
0 索取号:R711/E803.7 作者:Novak、 Edmund R.、Jones、 Georgeanna Seegar、 1912- joint author.、Jones、 Howard Wilbur、 1910- joint author.、 出版社:Baltimore : Williams & Wilkins, 1965.
|  |
0 索取号:F275/E20031 作者:Yegge、 Wilbur M.、 出版社:New York : Wiley, c1995.
|
 |
0 索取号:Q939.1-43/E602.2 作者:Tanner、 Fred Wilbur、 1888-、 出版社:New York : J. Wiley & sons, inc.; London, Chapman & Hall, limited, 1933.
|  |
0 索取号:Q939.1/E601 作者:Tanner、 Fred Wilbur、 b. 1888.、 出版社:New York : J. Wiley & Sons, Inc.; London : Chapman & Hall, Limited, 1928.
|
 |
0 索取号:Q939.1/E601.2 作者:Tanner、 Fred Wilbur、 b. 1888.、 出版社:New York : J. Wiley & Sons, inc. ; London : Chapman & Hall, limited, 1933.
|  |
0 索取号:TM914.4/E902 作者:Johnston、 W. D. (Wilbur Dexter)、 1940-、 出版社:New York : M. Dekker, 1980.
|
 |
0 索取号:O212.4/E902.2 作者:Anderson、 T. W. (Theodore Wilbur)、 1918-、 出版社:New York : Wiley & Sons, 1984.
|  |
0 索取号:K06-62/E801 作者:Poulton、 Helen J.、Howland、 Marguerite S.、Shepperson、 Wilbur S.、 出版社:Norman : University of Oklahoma Press, [1972].
|
 |
0 索取号:F59/E906.2 作者:Gee、 Chuck Y.、Makens、 James C.、Choy、 Dexter J. L.、 出版社:New York : Van Nostrand Reinhold, c1989.
|  |
0 索取号:G40-052/E601 作者:Brookover、 Wilbur B.、 出版社:New York : American Book Co., [1955]
|